TSTP Solution File: ITP278^4 by Mace4---1109a